$\forall$$S_{1}$, $S_{2}$:RealizerScheme\{i:l\}(), $P_{1}$, $P_{2}$:(ES$\rightarrow\mathbb{P}$).
\\[0ex]$S_{1}$ $\mid${-}${\it es}$.$P_{1}$(${\it es}$)
\\[0ex]$\Rightarrow$ $S_{2}$ $\mid${-}${\it es}$.$P_{2}$(${\it es}$)
\\[0ex]$\Rightarrow$ scheme{-}compatible($S_{1}$;$S_{2}$)
\\[0ex]$\Rightarrow$ scheme{-}plus($S_{1}$;$S_{2}$) $\mid${-}${\it es}$.$P_{1}$(${\it es}$) \& $P_{2}$(${\it es}$)